MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·22h·
Discuss: Hacker News
🧮SMT Solvers
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
📐Arithmetic Precision
Automated Microfluidic Device Characterization via Iterative Bayesian Optimization and Digital Twin Validation
dev.to·5h·
Discuss: DEV
🌊Stream Processing
News for September 2025
ptreview.sublinear.info·1d
🧪Property-Based Testing
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·3h·
Discuss: Hacker News
📐Mathematical Art
A grand week
blog.mitrichev.ch·13h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Property-based testing of batch-invariant operations
mmaaz.ca·4h·
Discuss: Hacker News
🧪Property-Based Testing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🧮Algebraic Datatypes
Symbolic and High-Accuracy Solutions to Differential and Integral Problems via a Novel Recursive Inverse Laplace Method
arxiv.org·3d
📐Error Bounds
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🎯Interactive Provers
On This Day in Math - October 5
pballew.blogspot.com·22h·
Discuss: www.blogger.com
📜Manuscript Algebras
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Learning from software errors – Part 2: Why did Ariane 5 explode after take-off?
heise.de·2d
🛡️Error Boundaries
2025 Component Abuse Challenge: Digital Logic With Analog Components
hackaday.com·22h
⚡Circuit Archaeology
Building a Command-Line Quiz Application in R
towardsdatascience.com·13h
🐚Shell Calculus
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·8h·
Discuss: Hacker News
🛡️WASM Security
Python Calculator
dev.to·5h·
Discuss: DEV
📐Arithmetic Precision
std::ranges may not deliver the performance that you expect
lemire.me·5h·
Discuss: Hacker News
📐Error Bounds
Three important things to get right for successful AI Coding
kau.sh·10h
⚡Proof Automation
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Borrowing